Ian Horrocks - PDFSEARCH.IO - Document Search Engine

Ian Horrocks
Results: 78

#	Item
61	Using an Expressive Description Logic: FaCT or Fiction? Ian R. Horrocks Medical Informatics Group Department of Computer Science University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:49:27 Non-classical logic Model theory Philosophical logic Formal methods Transitive closure Modal logic Description logic Boolean satisfiability problem Satisfiability Logic Mathematics Mathematical logic
62	Optimising Terminological Reasoning for Expressive Description Logics Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider School of Computer Science University of Manchester, UK, and Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:53:30 Science Logic Information Transitive closure Abox Description logic
63	Deciding Semantic Matching of Stateless Services∗ Duncan Hull† , Evgeny Zolin† , Andrey Bovykin‡ , Ian Horrocks† , Ulrike Sattler† , and Robert Stevens† † School of Computer Science, ‡ Department of Com Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2014-03-25 09:15:49 Computing World Wide Web Semantic Web Functions and mappings Control theory Function OWL-S Web Services Description Language State space Web services Mathematics Ontology
64	Project No : FP7[removed]Project Acronym: Add to Reading List Source URL: www.optique-project.eu Language: English - Date: 2013-11-25 03:19:37 Information science Knowledge engineering Knowledge representation Artificial intelligence Ontology Description logic Ian Horrocks Semantic reasoner International Semantic Web Conference Semantic Web Information Science
65	The Even More Irresistible SROIQ Ian Horrocks, Oliver Kutz, and Ulrike Sattler School of Computer Science, The University of Manchester, Kilburn Building, Oxford Road, Manchester, M13 9PL, UK. {Horrocks, Kutz, Sattler}@c Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2005-12-14 14:49:54 Ontology Non-classical logic Tbox Philosophical logic Algebraic structures Modal logic Description logic Abox Binary relation Mathematics Logic Mathematical logic
66	LogMap and LogMapLt results for OAEI 2013 Ernesto Jim´enez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks Department of Computer Science, University of Oxford, Oxford, UK Abstract. We present the results obtained in the OAEI Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-10-10 12:06:04 Knowledge representation Science Knowledge engineering Information science Description logic Web Ontology Language Abox Cyc Semantic reasoner Ontology Information Semantic Web
67	LogMap and LogMapLt Results for OAEI 2012 Ernesto Jim´enez-Ruiz, Bernardo Cuenca Grau, and Ian Horrocks Department of Computer Science, University of Oxford {ernesto,berg,ian.horrocks}@cs.ox.ac.uk Abstract. We present Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-10-16 06:01:52 Information science Science Knowledge representation Knowledge engineering Web Ontology Language Description logic Cyc Ontology Information Semantic Web
68	Working Paper, version of Nov. 21, 2002 Description Logic Programs: Combining Logic Programs with Description Logic Benjamin N. Grosof Ian Horrocks Add to Reading List Source URL: www.daml.org Language: English - Date: 2002-11-25 10:16:16 Science Ontology Markup languages Knowledge engineering Knowledge representation Description logic Knowledge representation and reasoning DAML+OIL DAML-S Semantic Web Information Computing
69	Description Logic Programs: Overview for DAML and WebOnt Adapted from Presentation for DAML PI Meeting, made Oct. 17, 2002, Portland, OR, USA This version is from Oct. 21, 2002. Add to Reading List Source URL: www.daml.org Language: English - Date: 2002-10-29 15:50:59 Computing Information science Markup languages Ontology Artificial intelligence Description logic DAML-S DAML+OIL Ian Horrocks Science Semantic Web Information
70	The Semantic Web: (Ontology) Languages and Reasoning Ian Horrocks [removed] University of Manchester Add to Reading List Source URL: www.ercim.eu Language: English - Date: 2008-12-08 05:07:40 Science Knowledge engineering Information science Knowledge representation Web Ontology Language Description logic DAML+OIL Ian Horrocks RDF Schema Semantic Web Information Ontology

UPDATE